machine logic